Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 223 hakutulosta
Julkaisut
223
Rahoitushaut
0
Myönnetty rahoitus
1
Tutkijat
0
Aineistot
0
Infrastruktuurit
0
Organisaatiot
0
Hankkeet
0
Julkaisut -
223
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 223
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
Predictive
runtime
enforcement
Vertaisarvioitu
DOI
10.1007/s10703-017-0271-1
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand,...
Formal Methods in System Design
2017
Julkaisujen tiedon ikoni
Predictive
runtime
enforcement
Vertaisarvioitu
DOI
10.1145/2851613.2851827
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand,...
ACM Symposium On Applied Computing
2016
Julkaisujen tiedon ikoni
Runtime
enforcement
of cyber-physical systems
Vertaisarvioitu
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems
2017
Julkaisujen tiedon ikoni
Runtime
enforcement
of reactive systems using synchronous enforcers
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software
2017
Julkaisujen tiedon ikoni
Runtime
enforcement
of regular timed properties by suppressing and delaying events
Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming
2016
Julkaisujen tiedon ikoni
Compositional
runtime
enforcement
Vertaisarvioitu
DOI
10.1007/978-3-319-40648-0_7
Pinisetty, Srinivas; Tripakis, Stavros
Lecture Notes in Computer Science
2016
Julkaisujen tiedon ikoni
Predictive
runtime
verification of timed properties
Vertaisarvioitu
DOI
10.1016/j.jss.2017.06.060
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, ...
Journal of Systems and Software
2017
Julkaisujen tiedon ikoni
Automatic Speed
Enforcement
in Finland
Öörni, Risto
ITS International
2010
Julkaisujen tiedon ikoni
Enforcement
of (Timed) Properties with Uncontrollable Events
Vertaisarvioitu
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, He...
SPRINGER
2015
Julkaisujen tiedon ikoni
Prevention of environmental crime through
enforcement
—Finland and Sweden compared
Vertaisarvioitu
DOI
DOI:10.1080/14043858.2014.1000649
Sahramäki, Iina; Korsell, Lars; Kankaanranta, Terhi
Journal of scandinavian studies in criminology and crime prevention
2015
Predictive
runtime
enforcement
Vertaisarvioitu
DOI
10.1007/s10703-017-0271-1
2017
Predictive
runtime
enforcement
Vertaisarvioitu
DOI
10.1145/2851613.2851827
2016
Runtime
enforcement
of cyber-physical systems
Vertaisarvioitu
DOI
10.1145/3126500
2017
Runtime
enforcement
of reactive systems using synchronous enforcers
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
2017
Runtime
enforcement
of regular timed properties by suppressing and delaying events
Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
2016
Compositional
runtime
enforcement
Vertaisarvioitu
DOI
10.1007/978-3-319-40648-0_7
2016
Predictive
runtime
verification of timed properties
Vertaisarvioitu
DOI
10.1016/j.jss.2017.06.060
2017
Automatic Speed
Enforcement
in Finland
2010
Enforcement
of (Timed) Properties with Uncontrollable Events
Vertaisarvioitu
2015
Prevention of environmental crime through
enforcement
—Finland and Sweden compared
Vertaisarvioitu
DOI
DOI:10.1080/14043858.2014.1000649
2015
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 223
Sivu 1
Sort
